Correct Development of Real - Time Embedded Systems IST - 2001 - 33522 Title : A Formal Semantics for a UML Kernel Language
نویسندگان
چکیده
This report defines a sufficiently expressive sublanguage of the behavioural modelling constructs of UML allowing to capture industrial real time applications. Covered aspects include in particular the concept of Active Objects, polymorphism as well as a detailed presentation of UML statecharts. For the chosen restrictive sublanguage, the zero-time semantics is given at two levels of abstractions: defined as an execution scheme and as a formal representation in terms of symbolic transition systems. Definition of the Omega-subset of UML, revised polymorphism and execution scheme 1.1
منابع مشابه
Correct Development of Embedded Systems
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language. The main contributions of the project are the definition of a useful subset of UML and some extensions, a formal dynamic semantics integrating all notations and a tool set for the validation of models based on this s...
متن کاملChapter 5 Component Coordination in
Modeling is an essential part of large software projects. The Unified Modeling Language (UML) has become the de-facto standard language for specifying, modeling and documenting software systems, visualizing software systems. The basic innovative ideas of UML, which are the main reasons for its popularity, are the unification of the concepts and notations used in the life-cycle of software devel...
متن کاملTowards Formal Support for UML-based Development of Embedded Systems
We describe ongoing work on the definition of a UML-based development methodology for the software of embedded systems. The aim is to improve current tools and methods by incorporating formal techniques. As a starting point, we define a formal semantics for a selected subset of UML. Next this language is extended to increase expressibility, especially concerning timing. Keywords— UML, embedded ...
متن کاملCombining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems
UML is a collection of notations for capturing a software system specification. These notations have a specific syntax defined by the Object Management Group (OMG), but many of their constructs only present informal semantics. They are primarily graphical, with textual annotation. The inadequacies of standard UML as a vehicle for complete specification and implementation of real-time embedded s...
متن کاملCorrect development of Real - time systems IST - 2001 - 33522
The play-in/play-out approach is a method for specifying and developing complex reactive systems. It is built upon a scenariobased philosophy, and uses the language of live sequence charts (LSCs) and a support tool called the Play-Engine. We present some conclusions from the initial experience we have had using the approach on several projects, and discuss methodological aspects rising from thi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003